منابع مشابه
Completion of a Prüfer Domain
Let V (resp. D) be a valuation domain (resp. SFT Prüfer domain), I a proper ideal, and V̂ (resp. D̂) be the I-adic completion of V (resp. D). We show that (1) V̂ is a valuation domain, (2) Krull dimension of V̂ = dimV I+1 if I is not idempotent, V̂ ∼= V I if I is idempotent, (3) dim D̂ = dimD I + 1, (4) D̂ is an SFT Prüfer ring, and (5) D̂ is a catenarian ring. Throughout this paper, all rings are assu...
متن کاملCompletion of a Globalized Pseudo-valuation Domain
Let R be a pseudo-valuation domain with associated valuation domain V and I a nonzero proper ideal of R. Let R̂ (resp., V̂ ) be the I-adic (resp., IV -adic) completion of R (resp., V ). We show that R̂ is a pseudo-valuation domain (which may be a field); and that if I 6= I2, then V̂ is the associated valuation domain of R̂. Let R be an SFT globalized pseudo-valuation domain with associated Prüfer do...
متن کاملPrüfer codes for acyclic hypertrees
We describe a new Prüfer code based on star-reductions which works for infinite acyclic hypertrees.
متن کاملCurves and coherent Prüfer rings
Usual definitions of Dedekind domain are not well suited for an algorithmic treatment. Indeed, the notion of Noetherian rings is subtle from a constructive point of view, and to be able to get prime ideals involve strong hypotheses. For instance, if k is a field, even given explicitely, there is in general no method to factorize polynomials in k[X]. The work [2] analyses the notion of Dedekind ...
متن کاملParse completion : a study of an inductive domain
Hierarchical knowledge structures are pervasive in Artificial Intelligence, yet very little is understood about how such structures may be effectively acquired. One way to represent the hierarchical component of knowledge structures is to use grammars. The grammar framework also provides a natural way to apply failure-driven learning to guide the induction of hierarchical knowledge structures. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1999
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(97)00212-0